Revision: make--devo--3.0--patch-4
Archive: srivasta@debian.org--etch
Creator: Manoj Srivastava <srivasta@debian.org>
Date: Sun Aug  7 07:42:26 CDT 2005
Standard-date: 2005-08-07 12:42:26 GMT
Modified-files: doc/make.texi
New-patches: srivasta@debian.org--etch/make--debian--3.0--patch-1
    srivasta@debian.org--etch/make--devo--3.0--patch-4
Summary: punctuation is not allowed after the @pxref command
Keywords: 

punctuation is not allowed after the @pxref command

Patches applied:

 * srivasta@debian.org--etch/make--debian--3.0--patch-1
   punctuation is not allowed after the @pxref command

